Discovering and Proving Infinite Binomial Sums Identities

We consider binomial and inverse binomial sums at infinity and rewrite them in terms of a small set of constants, such as powers of π or log(2). In order to perform these simplifications, we view the series as specializations of generating series. For these generating series, we derive integral representations in terms of root-valued iterated integrals. Using substitutions, we express the interated integrals as cyclotomic harmonic polylogarithms. Finally, by applying known relations among the cyclotomic harmonic polylogarithms, we derive expressions in terms of several constants.